| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Unidades Centrais. |
|
Data corrente: |
30/09/1997 |
|
Data da última atualização: |
12/12/2007 |
|
Autoria: |
COSTA, M. M. do C. |
|
Afiliação: |
DIN. |
|
Título: |
Descrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas. |
|
Ano de publicação: |
1985 |
|
Fonte/Imprenta: |
Rio de Janeiro: PUC, 1985. |
|
Páginas: |
108p. |
|
Idioma: |
Português |
|
Notas: |
Tese Mestrado. |
|
Conteúdo: |
A necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise. |
|
Palavras-Chave: |
Analysis; Computer; Pascal; Programação; Programming. |
|
Thesagro: |
Análise; Computador. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01366nam a2200217 a 4500
001 1088641
005 2007-12-12
008 1985 bl uuuu m 00u1 u #d
100 1 $aCOSTA, M. M. do C.
245 $aDescrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas.
260 $aRio de Janeiro: PUC$c1985
300 $a108p.
500 $aTese Mestrado.
520 $aA necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise.
650 $aAnálise
650 $aComputador
653 $aAnalysis
653 $aComputer
653 $aPascal
653 $aProgramação
653 $aProgramming
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Unidades Centrais (AI-SEDE) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Suínos e Aves. Para informações adicionais entre em contato com cnpsa.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Suínos e Aves. |
|
Data corrente: |
27/09/2010 |
|
Data da última atualização: |
04/01/2013 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
ABREU, V. M. N.; ABREU, P. G. de; TOMAZELLI, I. L.; HASSEMER, M. J.; CESTONARO, T.; ZUCCHI, M. C. |
|
Afiliação: |
VALERIA MARIA NASCIMENTO ABREU, CNPSA; PAULO GIOVANNI DE ABREU, CNPSA; INAIARA LETICIA TOMAZELLI, UNC; MARLA JULIANE HASSEMER, UNOESC; TAIANA CESTONARO, UNC; MARIANA CRISTINA ZUCCHI, UNC. |
|
Título: |
Comportamento da temperatura e das aves no círculo de criação em função dos sistemas de aquecimento. |
|
Ano de publicação: |
2010 |
|
Fonte/Imprenta: |
In: CONGRESO INTERNACIONAL DE INGENIERÍA AGRÍCOLA, 6., 2010, Chillán, Chile. Resúmenes. Chillán: Universidad de Concepción, 2010. |
|
Páginas: |
p. 120 |
|
Idioma: |
Português |
|
Notas: |
Projeto/Plano de Ação: 03.07.52.000-02. |
|
Palavras-Chave: |
Ave. |
|
Thesagro: |
Aquecimento; Biocombustível; Briquete; Criação; Gás; Lenha; Temperatura. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00889naa a2200289 a 4500
001 1863014
005 2013-01-04
008 2010 bl uuuu u00u1 u #d
100 1 $aABREU, V. M. N.
245 $aComportamento da temperatura e das aves no círculo de criação em função dos sistemas de aquecimento.
260 $c2010
300 $ap. 120
500 $aProjeto/Plano de Ação: 03.07.52.000-02.
650 $aAquecimento
650 $aBiocombustível
650 $aBriquete
650 $aCriação
650 $aGás
650 $aLenha
650 $aTemperatura
653 $aAve
700 1 $aABREU, P. G. de
700 1 $aTOMAZELLI, I. L.
700 1 $aHASSEMER, M. J.
700 1 $aCESTONARO, T.
700 1 $aZUCCHI, M. C.
773 $tIn: CONGRESO INTERNACIONAL DE INGENIERÍA AGRÍCOLA, 6., 2010, Chillán, Chile. Resúmenes. Chillán: Universidad de Concepción, 2010.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Suínos e Aves (CNPSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
